Modal logic

Results: 1643



#Item
651Model theory / Predicate logic / Classical logic / Propositional calculus / Philosophical logic / First-order logic / Interpretation / Modal logic / Natural deduction / Logic / Mathematical logic / Mathematics

Avoiding the undefined by underspecification

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2013-09-12 23:40:08
652Model theory / Boolean algebra / Logical syntax / First-order logic / Substitution / Propositional formula / Interpretation / Modal logic / Axiom / Logic / Mathematical logic / Propositional calculus

Adding the Everywhere Operator to Propositional Logic DAVID GRIES and FRED B. SCHNEIDER, Computer Science, Cornell University, Ithaca, NY 14853, USA. E-mail: [removed]

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2013-09-09 22:22:06
653Automated theorem proving / Method of analytic tableaux / Predicate logic / Symmetric functions / Modal logic / Lambda calculus / Well-formed formula / Function / Term / Mathematics / Logic / Mathematical logic

DOC Document

Add to Reading List

Source URL: www.calculemus.org

Language: English - Date: 2001-11-06 03:27:00
654Semantics / Philosophical logic / Philosophy of language / Meaning / Logicians / Modal logic / Linguistic modality / Formal semantics / David Kaplan / Logic / Philosophy / Analytic philosophy

LGM Abstracts University of East Anglia June 3, 2014 Saturday, 7 June John Collins (University of East Anglia)

Add to Reading List

Source URL: www.confhub.net

Language: English - Date: 2014-06-03 17:40:19
655Conditionals / Modal logic / Possibility / Philosophy of science / Counterfactual conditional / Cognitive psychology / Subjunctive possibility / Linguistic modality / Indicative conditional / Logic / Mathematical logic / Philosophy

To appear in Grazer Philosophische Studien 2007 and in Christian Beyer and Alex Burri (eds.), Philosophical Knowledge — Its Possibility and Scope, Amsterdam: Rodopi. Philosophical Knowledge and Knowledge of Counterfact

Add to Reading List

Source URL: www.philosophy.ox.ac.uk

Language: English - Date: 2008-02-04 11:49:46
656Modal logic / Non-classical logic / Philosophical logic / Supervenience / Nomic / Essentialism / Metaphysics / Philosophy / Physicalism

The Modal Status of Laws: In Defence of a Hybrid View Tuomas E. Takho (University of Helsinki) ABSTRACTs Three popular views regarding the modal status of the laws of nature are discussed: Humean Supervenience, nomic nec

Add to Reading List

Source URL: www.power-structuralism.ox.ac.uk

Language: English - Date: 2014-08-20 05:33:37
657Linguistic modality / Semantics / Modality / Academia / Modal logic / Logic / Science / Multimodal interaction

The Metaphysics of Modality This talk will concern two main metaphysical issues about modality: What is the source of modality? How many kinds of modality are there, and what are the relations between them? In the first

Add to Reading List

Source URL: www.metaphysics-of-entanglement.ox.ac.uk

Language: English - Date: 2015-02-13 04:14:34
658Semantics / Modal logic / Philosophical logic / Philosophy of language / Dichotomies / Two-dimensionalism / David Chalmers / Intension / Sense and reference / Logic / Philosophy / Analytic philosophy

Bad Intensions* Alex Byrne and James Pryor 1. Three Roles for Associated Properties Let us say that a speaker associates property P with word T iff the speaker believes that the

Add to Reading List

Source URL: www.jimpryor.net

Language: English - Date: 2003-07-07 10:06:17
659Essentialism / Counterpart theory / Modal logic / Is–ought problem / David Lewis / Ethics / Escafil device / Play / English modal verb / Philosophy / Philosophy of life / Metaphysics

1 This is an early draft of a paper forthcoming in Philosophical Studies. It is going to change quite a bit. Please cite the published version. June[removed]The Ethics of Morphing

Add to Reading List

Source URL: web.mit.edu

Language: English - Date: 2008-12-04 11:24:29
660Modal logic / Model theory / Branches of philosophy / Philosophical logic / Game theory / Epistemic modal logic / Kripke semantics / Interpretation / Social software / Logic / Mathematical logic / Mathematics

Introduction to Formal Epistemology May[removed], ESSLLI 2007 Eric Pacuit Rohit Parikh

Add to Reading List

Source URL: ai.stanford.edu

Language: English - Date: 2010-04-22 20:59:38
UPDATE